G, D revenir au sommaire
Le Mur de la Logique G, D revenir au sommaire
De nombreux liens de cette page sont coordonnés si cette page est en position GAUCHE dans le jeu de Cadres de LOGIQUE, |
|
Logique du grec logikê, de l'adjectif logikos, du substantif logos signifiant parole, discours, sens, raison, proportion, relation, analogie, étude. Noter que la Logique du XXIeme siècle est surtout une question d'écriture ....silencieuse ! |
|
| Panoramique Logique, & Ecoles philosophiques, cosmovisions |
|
SOMMAIRE : |
|
| La Logique grecque, -600 à la logique médiévale platonicienne vers + 300, | |
MEMOIRE & RHETORIQUE, la SOPHISTIQUE, - 600 à -300, EUCLIDE, Euclide le Socratique, la Stoa, |
- L'effet sophistique, CASSIN.B,
- Etudes Aristotéliciennes,
|
| La scolastique, au Moyen Age, + 476 à +1453 | |
 - La logique scolastique, préséance de la vérité de la religion sur la vérité philosophique (grecque), |
|
| - Le Syllogisme , étapes et évolution : d'Aristote à la Scolastique, puis revisité par LEIBNITZ.et considérée par la Logique modale moderne La syllogistique, une théorie particulière et incomplète... |
*,*, Kant, de la fausse subtilité du syllogisme, 1762, in Quelques opuscules précritiques, Vrin reprise 1970 |
sur la notion de négation et de l'implication ..... Chapitre et notions à mieux situer et expliciter ... |
- Modalités -le fantome de la modalité, Weyl; - Noeuds logiques, noeuds topologiques, JMV -Noeuds logiques et tables de vérité, JMV |
| Analyse de la proposition : le prédicat, la fonction . | |
| La quantification, portée d'un quantificateur, les opérateurs binaires . | |
| PASCAL, 1623, LEIBNITZ, 1646 | |
| - Précis de logique classique, Bnf.Gallica, p443 in La logique de LEIBNITZ, par Louis COUTURAT, sur Bnf.GAllica, |
- La logique de LEIBNITZ, par Louis COUTURAT, sur Bnf.GAllica, |
| Calcul des prédicats ou calcul des classes et théorie des ensembles . | |
| Opérateurs sur les ensembles, (isomoporphisme complémentaire/négation), Théorème de De Morgan . | |
| Les relations. Calcul des Prédicats (ou Classes) et Calcul des relations, les relation binaires . | |
| Fonction et application, cardinal d'un ensemble, bijection . | |
| Déduction, démonstration dans le calcul des prédicats . | Neg Log ; |
| Langage, Métalangage, Syntaxe, Sémantique, Langage formel, Système formel . | |
| La LOGIQUE FORMELLE et MODERNE :384 AV-J.C à 1931 AP-J.C. ARISTOTE, ...LEIBNITZ, BOOLE, CANTOR, FREGE, RUSSELL, GÖDEL, |
|
| - La logique modale apophantique, la logique des prédicats . - à propos du terme apophantique, |
|
| - La logique Canonique Classique ou LCC, La vérifonctionalité Calcul des propostions Algèbre des classes, Théorie de la quantification Langage des prédicats |
|
| - Le calcul des propositions ( ou des énoncés) , - Analyse de la proposition, - les Tables de vérités .- la conjonction et la disjonction inclusive . ET, ∧; OU inclusif ,∨; (l'un ou l'autre ou les deux) la disjonction exclusive, implication et équivalence. OU exclusif, W, (fromage ou dessert); ⇒ ; ≡; la disjonction aliénante, ( que le dessert ! La bourse ou la vie : on pique ta bourse et on te laisse la vie !) - La généralisation . (Voir lettre G : généralisation)- Formes normales disjonctives, puis disjonctives, Stucture de groupe, - Notion de déduction . - Logique des propositions. ?? ou Théorie de la déduction |
Vrai et Faux; du Vrai; ET, ∧, ∩, ? la non-identité de ces symboles est discutée dans le Velle de la séparation, JMV Les 3 OU et Euler, 1, 2, le tiers exclu dans la LCC, OU inclusif, ∨, ∪, OU exclusif, W, <≠>, OU aliénant, <≠, |
| - Logique du 1 er ordre, Calcul des prédicat, ou Calcul des relations ou Logique quantificationnelle.., Frege, XIX-XXe.s, |
Calcul des prédicats ; |
| - Logique des prédicats, ? | |
| La logique formelle comme système de la coordination et le calcul des prédicats kantifiés ( Boole et Frege) | |
| - La logique formelle,ou logique symbolique ou logique mathématique ou logique méta-mathématique ou idéographie. |
|
| - Logique de Boole, & L'algèbre de Boole, & C'est quoi ? - Le noeud logique de manière intrinsèque, La logique classique et la logique modifée sont des algèbres de BOOLE, JMV20150602, |
Algèbre de Boole 1, 2, Boole - focus, |
| - Logiques et/ou Mathématiques au XXI eme siècle, | |
| Mathématique, Topologie et Logique chez LACAN, | |
"Je reviens d'abord au corps du symbolique qu'il faut entendre comme de nulle métaphore. À preuve que rien que lui n'isole le corps à prendre au sens naïf, soit celui dont l'être qui s'en soutient ne sait pas que c'est le langage qui le lui décerne, au point qu'il n'y serait pas, faute d'en pouvoir parler. Radiophonie, Lacan, 1970, Autres écrits, Seuil, p408-409. Question II, ou Scilicet 2/3 p60: La linguistique, la psychanalyse et l'ethnologie ont en commun la notion de structure, à partir de cette notion, ne peut-on imaginer l'énoncé d'un champ commun qui réunira un jour psychanalyse, ethnologie et linguistique ? |
|
| La logique transformationnelle avec Freud Lacan et Vappereau | Mathématiques, |
| Lacan, parcours logique dans le Séminaire, | Le programme de Lacan, |
| Programme mathématique de Lacan | 2, |
| Psychanalyse et Théorie des ensembles, | Theorie des ensembles, Sentier des nombres, |
| Eléments de Logique chez J-M VAPPEREAU, | |
| Noeuds mathématiques : noeuds logiques (Euclide, Descartes, Desargues, Weyl..) , noeuds topologiques (corde, lacet, non métrique, non numérique) |
- Textes 1 trimestre 2015, |
- L’intérêt de commencer à parler de ces nœuds logiques, c’est une réflexion que je me suis faite, c’est que si j’enseigne la logique canonique classique pas à pas, les étudiants s’épuisent et au bout d’un moment ils demandent à quoi ça sert et pourquoi faire ça, et ils demandent tout le temps qu’est ce que c’est que la logique modifiée ?, donc j’ai renversé la vapeur je fais l’inverse, je propose de commencer par la logique modifiée, et à cette occasion de voir ce que nous pouvons étudier, enfin chacune des choses que nous pouvons étudier, pour étudier ces nœuds logiques, qui donnent une raison et un motif pour étudier la logique classique, car les nœuds logiques ce sont des logiques classiques déformées ! JMV09062015, 00.01, |
Noeuds logiques ≠ noeuds topologiques :
|
| Les formules de la sexuation, | - JMV10092013, |
| La logique modifiée, | |
|
|
| La logique du fantasme ( La logique est un fantasme, la logique c'est le fantasme) Construction du poinçon. |
le poinçon, |
| La topologie?; | |
| Où l'Effectivité se supperpose à la Réalité, l'effectivité est le nouage de RSI par les incorporelles de Lacan, la rencontre de la Topologie générale avec la Topologie du Sujet, (2), (3- new), (4), |
|
| Commentaires, | |
| - Ce que la psychanalyse apporte à la logique !? | |
| - Le projet occidental de destruction du Symbolique, et des crimes de masses...02 juin 2015, | |
| - Reconquérir de la lisibilité avec la psychanalyse, | |
Dans mon travail j'essaie toujours d'unir la Vérité et la Beauté, mais si je dois choisir, je penche toujours vers la Beauté. Hermann Weyl. |
page en évolution, |
| Prolégomènes à la lecture de J.Lacan et de J-M.Vappereau... (initiée le 26 avril 2015 !) |
|
| Je retiens le mot de PROLEGOMENES pour désigner ce qui suit. [ Prolégomènes : Ample préface contenant les notions (principes, concepts) préliminaires nécessaires à l'intelligence d'un livre.(dictionnaire le Robert) ] Il va sans dire que ce qui est convoqué ici, ne saurait être que provisoire, sujet à vérification et confirmation (ou infirmation)! |
|
| L'ambition ici affichée est de circonscrire le domaine des notions de Logique nécessaires à une lecture des oeuvres de Jacques Lacan et de Jean-Michel Vappereau. J'écris Mur, où le M majuscule souligne ce sentiment de fragilité face à la complexité et l'enchevrêtrement des notions qui y sont convoquées ! L'image du Grimpeur, face au Mur d'escalade, aux prises difficiles, instables, sujet à des chutes, avec ou sans assurance, en proie au doute, et à la douleur est au plus près de notre vécu sur ces questions ! Nous utilisons tant les livres cités dans la Bibliographie de Logique, que les cours et Textes de Lacan et Vappereau. |